机译:用于汽车安全分析的基于OSEK / VDX的操作系统的模型检查
机译:用于汽车安全分析的基于OSEK / VDX的操作系统的模型检查*
机译:验证OSEK / VDX汽车应用:基于自旋的模型检查方法
机译:基于OSEK / VDX的Multi-JVM用于汽车
机译:可移动的远侧矫正器(The Shamy):使用矫正器并进行后续固定治疗后的三维牙齿移动分析。
机译:第一节:与排放有关的汽车技术回顾:简介:与排放有关的汽车技术回顾
机译:使用QPlus-Auto Osek Edition实现汽车停车辅助系统